deq{-}member(${\it eq}$; $x$; $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce(($\lambda$$a$,$b$. bor((eqof(${\it eq}$)($a$,$x$)); $b$)); ff; $L$)